|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
19/02/2002 |
Data da última atualização: |
01/09/2010 |
Autoria: |
MALDONADO, J. C.; CHAIM, M. L.; JINO, M. |
Afiliação: |
USP; EMBRAPA-CNPTIA, UNICAMP. |
Título: |
Bridging the gap in the presence of infeasible paths: potential uses testing criteria. |
Ano de publicação: |
1992 |
Fonte/Imprenta: |
In: CONFERENCIA OF THE CHILEAN COMPUTER SOCIETY, 1992, Santiago, Chile. Proceedings... (S.I., 1992?). |
Páginas: |
p. 323-340. |
Idioma: |
Inglês |
Conteúdo: |
Data flow based structural testeing criteria have been introduced aiming at "bridging the gap" between branch testing and path testing, and at making stronger the structural testing criteria, but none in the literature "bridges the gap" in the presence of infeasible paths. Potential uses criteria family (PU), based on the potential use concept, is introduced. Potential uses criteria are analysed in the presence of infeasible (unexecutable) paths; these criteria estabilish a hierarchy including all-edges and all-paths criteria in addition to satisfying the minimum coverage requirements from the data flow point of view. Potential uses criteria were inspired the data flow criteria family (DF); each PU criterion includes its correspondent DF criterion and no other data flow based criterion includes PU criteria. Complexity analysis of other data flow criteria is revisited and disagreement with published results is highlighted; all data-flow based criteria have complexity greater then or equal to 2t. |
Palavras-Chave: |
Complexity analysis; Data-flow based criteria; Hierarchy of testing criteria; Infeasible paths; Structural testing criteria. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01705naa a2200217 a 4500 001 1004458 005 2010-09-01 008 1992 bl --- 0-- u #d 100 1 $aMALDONADO, J. C. 245 $aBridging the gap in the presence of infeasible paths$bpotential uses testing criteria. 260 $c1992 300 $ap. 323-340. 520 $aData flow based structural testeing criteria have been introduced aiming at "bridging the gap" between branch testing and path testing, and at making stronger the structural testing criteria, but none in the literature "bridges the gap" in the presence of infeasible paths. Potential uses criteria family (PU), based on the potential use concept, is introduced. Potential uses criteria are analysed in the presence of infeasible (unexecutable) paths; these criteria estabilish a hierarchy including all-edges and all-paths criteria in addition to satisfying the minimum coverage requirements from the data flow point of view. Potential uses criteria were inspired the data flow criteria family (DF); each PU criterion includes its correspondent DF criterion and no other data flow based criterion includes PU criteria. Complexity analysis of other data flow criteria is revisited and disagreement with published results is highlighted; all data-flow based criteria have complexity greater then or equal to 2t. 653 $aComplexity analysis 653 $aData-flow based criteria 653 $aHierarchy of testing criteria 653 $aInfeasible paths 653 $aStructural testing criteria 700 1 $aCHAIM, M. L. 700 1 $aJINO, M. 773 $tIn: CONFERENCIA OF THE CHILEAN COMPUTER SOCIETY, 1992, Santiago, Chile. Proceedings... (S.I., 1992?).
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
Registros recuperados : 367 | |
103. | | SANTOS, F. C.; NEVES, J. C. L.; NOVAIS, R. F.; FOLONI, J. M.; ZANCANARO, L.; KER, J. C. Calagem para soja em solos arenosos de cerrado. In: CONGRESSO BRASILEIRO DE CIÊNCIA DO SOLO, 31., 2007, Gramado. Conquistas e desafios da ciência do solo brasileira: anais. Porto Alegre: SBCS, 2007. 1 CD-ROM.Tipo: Artigo em Anais de Congresso / Nota Técnica | Circulação/Nível: -- - -- |
Biblioteca(s): Embrapa Cerrados. |
| |
106. | | SANTOS, F. C.; NEVES, J. C. L.; NOVAIS, R. F.; FOLONI, J. M.; ALBUQUERQUE FILHO, M. R.; KER, J. C. Relações do teor de matéria orgânica com teor de argila e histórico de uso de solos do cerrado, na sucessão milheto-soja. In: CONGRESSO BRASILEIRO DE CIÊNCIA DO SOLO, 31., 2007, Gramado. Conquistas e desafios da ciência do solo brasileira: anais. Porto Alegre: SBCS, 2007. 1 CD-ROM.Tipo: Artigo em Anais de Congresso / Nota Técnica | Circulação/Nível: -- - -- |
Biblioteca(s): Embrapa Cerrados. |
| |
108. | | SANTOS, F. C. dos; ALBUQUERQUE FILHO, M. R. de; SILVEIRA, M. C. T. DA; ALMEIDA, R. G. de; VILELA, L. Soil fertility evolution in integrated crop-livestock-forestry system on sandy soil of Bahia's Cerrado. In: INTERNATIONAL SYMPOSIUM ON INTEGRATED CROP-LIVESTOCK SYSTEMS, 4., CONGRESSO BRASILEIRO DE SISTEMAS INTEGRADOS DE PRODUÇÃO AGROPECUÁRIA, 3., ENCONTRO DE SISTEMAS INTEGRADOS DE PRODUÇÃO AGROPECUÁRIA NO SUL DO BRASIL, 7., Bento Gonçalves, 2023. Anais... IV ICLS.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Cerrados; Embrapa Gado de Corte; Embrapa Milho e Sorgo; Embrapa Pecuária Sul. |
| |
110. | | RISTOW, N. C.; ROSATTI, S. R.; SANTOS, A. C. N. dos; SANTOS, F. C.; LIMA, M. A. C. de. Caracterização química de acessos de Mangifera spp de diferentes origens, nas condições edafoclimáticas do Submédio do São Francisco. In: CONGRESSO BRASILEIRO DE FRUTICULTURA, 22., 2012, Bento Gonçalves. Anais... Bento Gonçalves: SBF, 2012. 1 CD-ROM.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Semiárido. |
| |
114. | | LEANDRO, T. T.; CAMPOS, C. R.; SANTOS, F. C. dos; GOTARDO, N. L.; SILVEIRA, M. C. T. da. Características de uma pastagem tropical e da produção de bovinos de corte, em fazenda comercial, visando intensificação sustentável. In: SIMPÓSIO DE INICIAÇÃO CIENTÍFICA DA EMBRAPA PECUÁRIA SUL, 12., 2022, Bagé, RS. Resumos... Bagé: Embrapa Pecuária Sul, 2022. p. 12. Ana Cristina Mazzocato, editora técnica.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Milho e Sorgo. |
| |
115. | | LEANDRO, T. T.; CAMPOS, C. R.; SANTOS, F. C. dos; GOTARDO, N. L.; SILVEIRA, M. C. T. da. Características de uma pastagem tropical e da produção de bovinos de corte, em fazenda comercial, visando intensificação sustentável. In: SIMPÓSIO DE INICIAÇÃO CIENTÍFICA DA EMBRAPA PECUÁRIA SUL, 12., 2022, Bagé, RS. Resumos... Bagé: Embrapa Pecuária Sul, 2022. p. 12. Ana Cristina Mazzocato, editora técnica.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Pecuária Sul. |
| |
116. | | SANTOS, F. C.; TECHIO, V. H.; DAVIDE, L. C.; FREITAS, A. S.; SOUZA SOBRINHO, F. de; CASTRO, E. M. de. Caracterização anatômica foliar parcial de genótipos de Brachiaria ruziziensis em diferentes épocas do ano. In: REUNIÃO ANUAL DA SOCIEDADE BRASILEIRA DE ZOOTECNIA, 47., 2010, Salvador. Empreendedorismo e progresso científico na zootecnia brasileira: anais. Viçosa, MG: Sociedade Brasileira de Zootecnia, 2010. 3 p.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Gado de Leite. |
| |
117. | | RESENDE, A. V. de; SIMÃO, E. de P.; GONTIJO NETO, M. M.; BORGHI, E.; SANTOS, F. C. dos. Construção da fertilidade do solo e manutenção de ambientes de elevado potencial produtivo. In: SEMINÁRIO NACIONAL [DE] MILHO SAFRINHA, 14., 2017, Cuiabá. Construindo sistemas de produção sustentáveis e rentáveis: livro de palestras. Sete Lagoas: Associação Brasileira de Milho e Sorgo, 2017. cap. 5, p. 144-172. Editora técnica: Maria Cristina Dias Paes.Tipo: Capítulo em Livro Técnico-Científico |
Biblioteca(s): Embrapa Milho e Sorgo. |
| |
120. | | OLIVEIRA, T. K. de; SANTOS, F. C. B. dos; LUZ, S. A. da; OLIVEIRA, T. C. de; LESSA, L. S. Estabelecimento de espécies arbóreas nativas e exóticas sob diferentes espaçamentos na implantação de sistemas silvipastoris no Acre. In: CONFERÊNCIA DO SUBPROGRAMA DE CIÊNCIA E TECNOLOGIA - SPC&T FASE II, 2008, Belém, PA. Anais... Brasília, DF: CNPq, 2009. p. 476-481.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Acre. |
| |
Registros recuperados : 367 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|